#include "junix.h"

int main(int argc, char **argv)
{
	int i=gethostid();
	setbuf(stdout,NULL);
	printf("%d\n",i);

	return 0;
}

